Popeea, C.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press Companion to the 21st ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - Core-java

Craciun, Florin, Goh, Hong Yaw, Popeea, Corneliu, Chin, Wei-Ngan

Year:

2006

Language:

english

File:

PDF, 90 KB

english, 2006

2

Numerical stabilizability tests by a matrix sign function

Popeea, C., Lupas, L.

Journal:

IEEE Transactions on Automatic Control

Year:

1977

Language:

english

File:

PDF, 291 KB

english, 1977

3

Optimal compaction gain by eigenvalue minimization

Corneliu Popeea, Bogdan Dumitrescu

Journal:

Signal Processing

Year:

2001

Language:

english

File:

PDF, 88 KB

english, 2001

4

Efficient state-space approach for FIR filter bank completion

Corneliu Popeea, Bogdan Dumitrescu, Boris Jora

Journal:

Signal Processing

Year:

2003

Language:

english

File:

PDF, 564 KB

english, 2003

5

The closed-loop implementation of the open-loop stackelberg solution in the linear quadratic problems

G. Tecuceanu, C. Popeea

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1998

Language:

english

File:

PDF, 443 KB

english, 1998

6

Dual analysis for proving safety and finding bugs

Popeea, Corneliu, Chin, Wei-Ngan

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 386 KB

english, 2013

7

[IEEE 2013 RoEduNet International Conference, 11th Edition: Networking in Education and Research - Sinaia (2013.1.17-2013.1.19)] 2013 11th RoEduNet International Conference - Providing data anonymity for a secure database infrastructure

Popeea, T., Constantinescu, A., Rughinis, R.

Year:

2013

Language:

english

File:

PDF, 216 KB

english, 2013

8

[IEEE 2012 4th International Conference on Intelligent Networking and Collaborative Systems (INCoS) - Bucharest, Romania (2012.09.19-2012.09.21)] 2012 Fourth International Conference on Intelligent Networking and Collaborative Systems - Inference Detection and Database Security for a Business Environment

Popeea, Traian, Constantinescu, Anca, Gheorghe, Laura, Tapus, Nicolae

Year:

2012

Language:

english

File:

PDF, 207 KB

english, 2012

9

Accurate computation of compaction filters with high regularity

Dumitrescu, B., Popeea, C.

Journal:

IEEE Signal Processing Letters

Year:

2002

Language:

english

File:

PDF, 229 KB

english, 2002

10

[IEEE 2001 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings - Salt Lake City, UT, USA (7-11 May 2001)] 2001 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No.01CH37221) - An efficient algorithm for FIR filter bank completion

Popeea, C., Dumitrescu, B., Jora, B.

Year:

2001

Language:

english

File:

PDF, 348 KB

english, 2001

11

[IEEE 2013 RoEduNet International Conference 12th Edition: Networking in Education and Research - Iasi, Romania (2013.09.26-2013.09.28)] 2013 RoEduNet International Conference 12th Edition: Networking in Education and Research - A hybrid approach to a cryptanalysis library

Ilie, Valentin, Gheorghe, Laura, Popeea, Traian

Year:

2013

Language:

english

File:

PDF, 340 KB

english, 2013

12

A design procedure for optimal energy compaction IIR filters

Tabus, I., Popeea, C., Astola, J.

Journal:

IEEE Transactions on Circuits and Systems II Analog and Digital Signal Processing

Year:

2001

Language:

english

File:

PDF, 170 KB

english, 2001

13

[Univ. Zagreb ISPA 2001. Proceedings of the 2nd International Symposium on Image and Signal Processing and Analysis - Pula, Croatia (19-21 June 2001)] ISPA 2001. Proceedings of the 2nd International Symposium on Image and Signal Processing and Analysis. In conjunction with 23rd International Conference on Information Technology Interfaces (IEEE Cat. No.01EX480) - Fast SDP design of FIR compaction filters with combined constraints

Dumitrescu, B., Popeea, C.

Year:

2001

Language:

english

File:

PDF, 482 KB

english, 2001

14

[IEEE 2011 RoEduNet International Conference 10th Edition: Networking in Education and Research - Iasi, Romania (2011.06.23-2011.06.25)] 2011 RoEduNet International Conference 10th Edition: Networking in Education and Research - Extension of a port knocking client-server architecture with NTP synchronization

Popeea, Traian, Olteanu, Vladimir, Gheorghe, Laura, Rughinis, Razvan

Year:

2011

Language:

english

File:

PDF, 264 KB

english, 2011

15

[IEEE Knowledge Engineering 2011) - Conference postponed to 2012 - Bangkok, Thailand (2012.01.12-2012.01.13)] 2011 Ninth International Conference on ICT and Knowledge Engineering - An analysis on the applicability of supervised learning algorithms on card games

Popeea, Traian, Constantinescu, Anca, Radulescu, Florin, Rughinis, Razvan

Year:

2012

Language:

english

File:

PDF, 81 KB

english, 2012

16

[ACM Press the 2004 ACM SIGPLAN symposium - Verona, Italy (2004.08.24-2004.08.25)] Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '04 - A type system for resource protocol verification and its correctness proof

Popeea, Corneliu, Chin, Wei-Ngan

Year:

2004

Language:

english

File:

PDF, 243 KB

english, 2004

17

[ACM Press the 27th international conference - St. Louis, MO, USA (2005.05.15-2005.05.21)] Proceedings of the 27th international conference on Software engineering - ICSE '05 - Verifying safety policies with size properties and alias controls

Chin, Wei-Ngan, Khoo, Siau-Cheng, Qin, Shengchao, Popeea, Corneliu, Nguyen, Huu Hai

Year:

2005

Language:

english

File:

PDF, 261 KB

english, 2005

18

[ACM Press the 2008 ACM SIGPLAN symposium - San Francisco, California, USA (2008.01.07-2008.01.08)] Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 - A practical and precise inference and specializer for array bound checks elimination

Popeea, Corneliu, Xu, Dana N., Chin, Wei-Ngan

Year:

2008

Language:

english

File:

PDF, 285 KB

english, 2008

19

[ACM Press the 21st annual ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - A flow-based approach for variant parametric types

Chin, Wei-Ngan, Craciun, Florin, Khoo, Siau-Cheng, Popeea, Corneliu

Year:

2006

Language:

english

File:

PDF, 495 KB

english, 2006

20

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Predicate abstraction and refinement for verifying multi-threaded programs

Gupta, Ashutosh, Popeea, Corneliu, Rybalchenko, Andrey

Year:

2011

Language:

english

File:

PDF, 567 KB

english, 2011

21

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A constraint-based approach to solving games on infinite graphs

Beyene, Tewodros, Chaudhuri, Swarat, Popeea, Corneliu, Rybalchenko, Andrey

Year:

2014

Language:

english

File:

PDF, 584 KB

english, 2014

22

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Synthesizing software verifiers from proof rules

Grebenshchikov, Sergey, Lopes, Nuno P., Popeea, Corneliu, Rybalchenko, Andrey

Year:

2012

Language:

english

File:

PDF, 608 KB

english, 2012

23

[ACM Press the 7th international symposium - Tucson, AZ, USA (2008.06.07-2008.06.08)] Proceedings of the 7th international symposium on Memory management - ISMM '08 - Analysing memory resource bounds for low-level programs

Chin, Wei-Ngan, Nguyen, Huu Hai, Popeea, Corneliu, Qin, Shengchao

Year:

2008

Language:

english

File:

PDF, 269 KB

english, 2008

24

[ACM Press the 2010 ACM Symposium - Sierre, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 - Dual analysis for proving safety and finding bugs

Popeea, Corneliu, Chin, Wei-Ngan

Year:

2010

Language:

english

File:

PDF, 444 KB

english, 2010

25

[IEEE 2015 14th RoEduNet International Conference - Networking in Education and Research (RoEduNet NER) - Craiova, Romania (2015.9.24-2015.9.26)] 2015 14th RoEduNet International Conference - Networking in Education and Research (RoEduNet NER) - Portable audio-modulated Tesla coil for demonstrative actions

Ghilinta, Constantin-Daniel, Stegaru, Silvia Cristina, Popeea, Traian, Tapus, Nicolae

Year:

2015

File:

PDF, 648 KB

2015

26

[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - Reduction for compositional verification of multi-threaded programs

Popeea, Corneliu, Rybalchenko, Andrey, Wilhelm, Andreas

Year:

2014

Language:

english

File:

PDF, 633 KB

english, 2014

27

A flow-based approach for variant parametric types

Chin, Wei-Ngan, Craciun, Florin, Khoo, Siau-Cheng, Popeea, Corneliu

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 495 KB

english, 2006

28

Predicate abstraction and refinement for verifying multi-threaded programs

Gupta, Ashutosh, Popeea, Corneliu, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 567 KB

english, 2011

29

Capacitive effect models for a magnetic field sensor

Ioan, Daniel, Munteanu, Irina, Popeea, Corneliu

Journal:

COMPEL Int J for Computation and Maths in Electrical and Electronic Eng

Year:

1999

Language:

english

File:

PDF, 220 KB

english, 1999

30

Patient Specific Expert System for IDDM Control

Porumbescu, A., Popeea, C., Dobrescu, R., Jora, B.

Journal:

IFAC Proceedings Volumes

Year:

1997

Language:

english

File:

PDF, 1.36 MB

english, 1997

31

4SID Identification for Control

Jora, B., Popeea, C., Popescu, D.

Journal:

IFAC Proceedings Volumes

Year:

1997

Language:

english

File:

PDF, 1.15 MB

english, 1997

32

[IEEE ISCAS'99. 1999 IEEE International Symposium on Circuits and Systems. VLSI - Orlando, FL, USA (30 May-2 June 1999)] ISCAS'99. Proceedings of the 1999 IEEE International Symposium on Circuits and Systems VLSI (Cat. No.99CH36349) - Optimizing the compaction gain in a class of IIR filters

Tabus, I., Popeea, C., Astola, J.

Year:

1999

Language:

english

File:

PDF, 8 KB

english, 1999

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски